Stefan Disch: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Nematic elastomers beyond the critical point

Stefan Disch, Claudia Schmidt, Heino Finkelmann

Journal:

Macromolecular Rapid Communications

Year:

1994

Language:

english

File:

PDF, 376 KB

english, 1994

2

Primary malignant bone tumors and solitary metastases of the thoracolumbar spine: results by management with total en bloc spondylectomy

Ingo Melcher, Alexander C. Disch, Cyrus Khodadadyan-Klostermann, Stefan Tohtz, Mirko Smolny, Ulrich Stöckle, Norbert P. Haas, Klaus-Dieter Schaser

Journal:

European Spine Journal

Year:

2007

Language:

english

File:

PDF, 322 KB

english, 2007

3

Biomechanical evaluation of a posterior non-fusion instrumentation of the lumbar spine

Werner Schmoelz, Stefanie Erhart, Stefan Unger, Alexander C. Disch

Journal:

European Spine Journal

Year:

2012

Language:

english

File:

PDF, 316 KB

english, 2012

4

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces

Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 883 KB

english, 2012

5

Macroscopically Ordered Discotic Columnar Networks

Disch, Stefan, Finkelmann, Heino, Ringsdorf, Helmut, Schuhmacher, Peter

Journal:

Year:

1995

Language:

english

File:

PDF, 1.91 MB

english, 1995

6

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling

Pigorsch, Florian, Scholl, Christoph, Disch, Stefan

Year:

2006

Language:

english

File:

PDF, 247 KB

english, 2006

7

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Simple interpolants for linear arithmetic

Scholl, Christoph, Pigorsch, Florian, Disch, Stefan, Althaus, Ernst

Year:

2014

Language:

english

File:

PDF, 159 KB

english, 2014

8

[IEEE 2007 Asia and South Pacific Design Automation Conference - Yokohama, Japan (2007.01.23-2007.01.26)] 2007 Asia and South Pacific Design Automation Conference - Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets

Disch, Stefan, Scholl, Christoph

Year:

2007

Language:

english

File:

PDF, 165 KB

english, 2007

9

[ACM Press the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop - Princeton, New Jersey (2008.07.07-2008.07.14)] Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning - SMT '08/BPR '08 - Using an SMT solver and Craig interpolation to detect and remove redundant linear constraints in representations of non-convex polyhedra

Scholl, Christoph, Disch, Stefan, Pigorsch, Florian, Kupferschmid, Stefan

Year:

2008

Language:

english

File:

PDF, 309 KB

english, 2008

10

Membrane-Associated Ubiquitin Ligase SAUL1 Suppresses Temperature- and Humidity-Dependent Autoimmunity in Arabidopsis

Disch, Eva-Maria, Tong, Meixuezi, Kotur, Tanja, Koch, Gerald, Wolf, Carl-Asmus, Li, Xin, Hoth, Stefan

Journal:

Molecular Plant-Microbe Interactions

Year:

2016

Language:

english

File:

PDF, 2.56 MB

english, 2016

11

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement

Althaus, Ernst, Beber, Björn, Damm, Werner, Disch, Stefan, Hagemann, Willem, Rakow, Astrid, Scholl, Christoph, Waldmann, Uwe, Wirtz, Boris

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 831 KB

english, 2017

12

Die infizierte Spondylodese

Zwingenberger, Stefan, Schaser, Klaus-Dieter, Stiehler, Maik, Bernstein, Peter, Thürmer, Alexander, Disch, Alexander

Journal:

Year:

2017

Language:

german

File:

PDF, 428 KB

german, 2017

13

2-step stem cell therapy improves bone regeneration compared to concentrated bone marrow therapy

Bolte, Julia, Vater, Corina, Culla, Anna Carla, Ahlfeld, Tilman, Nowotny, Jörg, Kasten, Philip, Disch, Alexander C., Goodman, Stuart B., Gelinsky, Michael, Stiehler, Maik, Zwingenberger, Stefan

Journal:

Journal of Orthopaedic Research

Year:

2019

Language:

english

File:

PDF, 1.68 MB

english, 2019

14

The Prevalence of Legal Performance-Enhancing Substance Use and Potential Cognitive and or Physical Doping in German Recreational Triathletes, Assessed via the Randomised Response Technique

Seifarth, Sebastian, Dietz, Pavel, Disch, Alexander C., Engelhardt, Martin, Zwingenberger, Stefan

Journal:

Year:

2019

Language:

english

File:

PDF, 226 KB

english, 2019

15

The Prevalence of Legal Performance-Enhancing Substance Use and Potential Cognitive and or Physical Doping in German Recreational Triathletes, Assessed via the Randomised Response Technique

Seifarth, Sebastian, Dietz, Pavel, Disch, Alexander C., Engelhardt, Martin, Zwingenberger, Stefan

Journal:

Year:

2019

File:

PDF, 226 KB

2019

16

Diagnostik und Therapie von Verletzungen der HalswirbelsÃ¤ule im Kindesalter; Diagnostics and treatment of cervical spine trauma in pediatric patients;

Meinig, Holger, Matschke, Stefan, Ruf, Michael, Pitzen, Tobias, Disch, Alexander, Jarvers, Jan-Sven, Herren, Christian, WeiÃ, Thomas, Jung, Matthias K., RÃ¼ther, Hauke, Welk, Thomas, Badke, Andreas,

Journal:

Der Unfallchirurg

Year:

2020

File:

PDF, 7.04 MB

2020